Model-Based Verification of Embedded Software
نویسندگان
چکیده
منابع مشابه
Model-Based Design and Verification of Embedded Software
The widespread use of embedded systems mandates a rigorous engineering approach towards embedded software development, i.e. model-based design and verification of embedded software. The paper presents a number of models that have been developed in the context of the COMDES framework. These have been used to derive design patterns for reusable and reconfigurable components, such as the state log...
متن کاملVerification of Embedded Software: Problems
Computer aided formal methods have been very successful for the verification or at least enhanced debugging of hardware. The cost of correction of a hardware bug is huge enough to justify high investments in alternatives to testing such as correctness verification. This is not the case for software for which bugs are a quite common situation which can be easily handled through online updates. H...
متن کاملPractical Verification of Embedded Software
A dvances in processor speed, memory capacities , sensors, and peripherals have enabled the inexpensive fabrication of sophisticated products ranging from mobile phones and hi-fi equipment to highly complex software in cars and airplanes. Unfortunately, the lack of good design methods and tools is a major bottleneck in the development of these products, particularly those with a short life cycl...
متن کاملVerification of Embedded Control Software
Embedded control software is ubiquitous nowadays. It is a significant component of, for instance, home appliances, cars, and medical devices. As the uses of software increase in our daily life, the importance of its correctness increases as well. At the same time, expectations for embedded control software are usually higher than for desktop applications, making correctness a crucial problem in...
متن کاملEmbedded software verification in hardware-software codesign
Concurrent Embedded Real-Time Software (CERTS) is intrinsically dierent from traditional, sequential, independent, and temporally unconstrained software. The veri®cation of software is more complex than hardware due to inherent ̄exibilities (dynamic behavior) that incur a multitude of possible system states. The veri®cation of CERTS is all the more dicult due to its concurrency and embeddedne...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 2009
ISSN: 0018-9162
DOI: 10.1109/mc.2009.125